Model Theory of Partial Differential Fields: from Commuting to Noncommuting Derivations
نویسنده
چکیده
McGrail (2000) has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe (2001) has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first.
منابع مشابه
Uniform Companion for Large Lie Differential Fields of Characteristic Zero
In this paper, we adapt the result of M. Tressl (see [3]) in order to show that there is a theory (UCLie,m) of Lie differential fields of characteristic zero, which serves as a model companion for every theory of large and Lie differential fields extending a model complete theory of pure fields. It allows us to introduce the Lie counterpart of classical theories of differential fields in severa...
متن کاملDifferential forms in the model theory of differential fields
Fields of characteristic zero with several commuting derivations can be treated as fields equipped with a space of derivations that is closed under the Lie bracket. The existentially closed instances of such structures can then be given a coordinate-free characterization in terms of differential forms. The main tool for doing this is a generalization of the Frobenius Theorem of differential geo...
متن کاملFields with several Commuting Derivations
The existentially closed models of the theory of fields (of arbitrary characteristic) with a given finite number of commuting derivations can be characterized geometrically, in several ways. In each case, the existentially closed models are those models that contain points of certain differential varieties, which are determined by certain ordinary varieties. How can we tell whether a given syst...
متن کاملProlongations in differential algebra
We develop the theory of higher prolongations of algebraic varieties over fields in arbitrary characteristic with commuting Hasse-Schmidt derivations. Prolongations were introduced by A. Buium in the context of fields of characteristic 0 with a single derivation. We give a new construction of higher prolongations in a more general context, inspired by work of P. Vojta. Generalizing a result of ...
متن کاملSymbolic Computation of Derivations Using Labeled Trees
This paper discusses the effective symbolic computation of operators under composition. Examples include differential operators under composition and vector fields under the Lie bracket. Such operators in general do not commute, but are often rewritten in terms of other operators which do commute. If the original expression enjoys a certain symmetry, then naive rewriting requires the computatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006